Regular submodules of torsion modules over a discrete valuation domain

Projective maximal submodules of extending regular modules

We show  that a projective maximal submodule of afinitely generated, regular, extending module is a directsummand. Hence, every finitely generated, regular, extendingmodule with projective maximal submodules is semisimple. As aconsequence, we observe that every regular, hereditary, extendingmodule is semisimple. This generalizes and simplifies a result of  Dung and   Smith. As another consequen...

Filtered Modules over Discrete Valuation Domains

We consider a uni ed setting for studying local valuated groups and coset-valuated groups, emphasizing the associated ltrations rather than the values of elements. Stable exact sequences, projectives and injectives are identi ed in the encompassing category, and in the category corresponding to coset-valuated groups.

A Classification of Modules over Complete Discrete Valuation Rings

projective maximal submodules of extending regular modules

we show  that a projective maximal submodule of afinitely generated, regular, extending module is a directsummand. hence, every finitely generated, regular, extendingmodule with projective maximal submodules is semisimple. as aconsequence, we observe that every regular, hereditary, extendingmodule is semisimple. this generalizes and simplifies a result of  dung and   smith. as another consequen...

Dual Modules over a Valuation